A Non–Interleaving Semantics for MSC

نویسنده

  • Stefan Heymer
چکیده

In this paper, we develop a non–interleaving semantics and an interleaving semantics for MSC’96 based on the model of families of partially ordered sets. These semantics are no denotational semantics, but are defined via translations of the textual syntax for MSC’96 into a process algebra. We show that the interleaving semantics agrees on BMSC with the standardized semantics for MSC’92, while the non–interleaving semantics can be given an interleaving interpretation.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Semantics for MSC Based on Petri Net Components

In this paper, we develop a non–interleaving semantics based on Petri net components for MSC’96 and MSC–2000. These semantics are defined using a transformational approach, closely following the lines of [3] apart from giving a direct translation.

متن کامل

Non Interleaving Semantics for CCS and Fast Deadlock Detection

This paper proposes a non interleaving semantics for CCS and de nes a class of CCS compositions for which interleaving and non interleaving se mantics are equivalent It also presents a fast software tool for analysis of CCS compositions under non interleaving semantics The tool employs Petri net techniques with multiple transition rings Contact jacek cse unsw oz au

متن کامل

Non-interleaving Operational Semantics for the Pi-calculus – technicalities

We provide a non-interleaving operational semantics for the pi-calculus as asynchronous transition systems, which generalizes the standard interleaving structural operational semantics and unfolds to standard, stable prime event structures. We follow the approach taken by Mukund and Nielsen in providing non-interleaving semantics for CCS by infering the so-called prefixing (structural or subjec...

متن کامل

A True Concurrency Semantics for ET-LOTOS

One of the central objectives of the LOTOS re-standardisation activity is to deene an enhanced LOTOS language which supports real-time speciica-tion. The timed extension is based upon a timed LOTOS proposal ET-LOTOS. This paper deenes a (branching-time) non-interleaving semantics for ET-LOTOS without data. As a denotational model a suitable timed extension of Langerak's bundle event structures ...

متن کامل

Partial Order Models for Quantitative Extensions of

Event structures are a prominent model for non-interleaving concurrency. The use of event structures for providing a compositional non-interleaving semantics to LOTOS without data is studied. In particular, several quantitative extensions of event structures are proposed that incorporate notions like time|both of deterministic and stochastic nature|and probability. The suitability of these mode...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998